Laguna de Peña Hueca, en Villacañas, Toledo