<Li> Juan Castillo (pitcher) (born 1970), Venezuelan professional baseball player </Li> <Li> Juan Guillermo Castillo, Uruguayan football (soccer) player </Li> <Li> Juan Ignacio González del Castillo (1763--1800), Spanish author of comic theater </Li> <Li> Karol Castillo (1989--2013), Peruvian beauty pageant winner </Li>

Where does the last name del castillo come from