Fue denominado originalmente Villarseco o Villar Seco.