20120704 world.us: US deploys more forces to Persian Gulf