Su nombre completo era «José Enrique Benito y Emeterio Ysbert Alvarruiz».