World | Sat Jul 7, 2012 11:04am EDT

U.S. beefs up Gulf naval force amid tension with Iran