Already mapped as such (under alt_name:en), see https://www.openstreetmap.org/way/807583985. The "hidden valley" & "lost valley" monikers are certainly not worthy of a full name tag, so I'm in agreement with the current mapping.