在美国,“自动执行条约”是_______生效的条约。