US Navy pilots shot down over Red Sea