US warplane shot down by friendly fire in Red Sea, pilots eject safely