Navas de San Juan (nombre propio): Villa de España en la provincia de Jaén.