EU bolsters Red Sea mission amid reports Houthis may shut Bab el-Mandeb