debkafile’s military sources: The USS Stennis carrier with thousands of troops and 80 warplanes aboard is heading for Persian Gulf