us aircraft in red sea