Elefante de orejas (Mycedium elephantotus) de corales en el mar rojo, Egipto.