La charca verde o charco verde, se puede encontrar con esos dos nombre por Internet, pero si nos fijamos en el cartel al inicio del camino, o la parte del cartel que los grafiteros (nótese el tono despectivo, este tipo de grafiti NO es arte), parece que la denominación local usada es charca.