Public park
Public park means an area or portion of an area dedicated or designated by any Federal, State, or local agency primarily for public recreational use, whether or not such use is limited to certain times or days, including any land leased, reserved, or held open to the public because of that use.