Castillito, un torero de Castillo