درگیری نیروهای آلمانی با یمن در دریای سرخ