Estanque grande de El Retiro, RETIRO