Here is the link with the US Board on Geographic Names: https://community.windy.com/topic/21814/incorrect-name  
I can further post additional information from the US National Park Service asserting their purging the inaccurate name of 'Ruth Amphitheater' in 2019 if that helps. Please let me know if the document in the link I provided is sufficient.