A German warship leaves the Red Sea amid demands to protect international shipping