Al norte de Burgos, dos pueblecitos, 'Peñahorada' y 'Villaverde de Peñahorada' eran nombrados antiguamente como 'Peñahoradada' al descender del verbo 'horadar'.