Protecting shipping lanes in the Red Sea