Über dem Roten Meer. US-Kriegsschiff schießt eigenen Kampfjet ab