Yes, the new name was assigned in 1975. I previously attached the documentation from 1975 from the US Board on Geographic Names, and can provide this information again upon request (I do not see how to attach to this response). It was only in 2019 that the US government erased the previous name "Ruth Amphitheater" that lived erroneously in their databases until 2019.