Castilla: nombre genérico que fue otorgado en honor de Juan Diego del Castillo (d.