Tenny Park Beach, Lake Mendota (805400)