Group of ships in Persian Gulf, including USS John F Kennedy (CV-67) Aircraft Carrier