How much would renaming Lake Ontario cost the U.S.? CBO points to the ‘closest precedent’

The Congressional Budget Office in the U.S. previously published a report estimating how much renaming the Gulf of Mexico would cost