US military says two Navy pilots were shot down over the Red Sea. Both pilots ejected from their aircraft and were recovered alive.
