Presumably because their operator did not make the same mistake as the one on the Vincennes?