"Earlier this week, Iranian officials had threatened the Stennis with the 'full force' of the Iranian military if it tried to reenter the Persian Gulf."