Germany examining options for joining US-led coalition force in Red Sea