World | Mon Jun 16, 2014 7:44am EDT

U.S. Navy ship with 550 Marines on board entering Gulf: CNN