>each side has their own legal name.

I think there's some question as to whether the President can just rename things with an EO - what's the legal name of that lake right now from a US standpoint - there isn't a 100% answer for that.