De él viene el nombre Navas del Moro Alejo, que quedaría en Navalmoralejo.