External Military Presence in the Red Sea Security Complex: Bases and Naval Operations