It seems like the name is used as both Juneau Park Lagoon by different government entities.

The state uses Juneau Park Lagoon: https://apps.dnr.wi.gov/lakes/lakepages/LakeDetail.aspx?wbic=44600&page=map

The county uses Veterans Park Lagoon: https://county.milwaukee.gov/EN/Administrative-Services/Bids-and-RFPs/Active/WP0843011-Veterans-Park-Lagoon-Feasibility-Study

Which one should we use?