Missing Walt Disney World ferry dock here: "Saratoga Springs Dock". Please add a node with `amenity=ferry_terminal`, `name=Saratoga Springs Dock`, `operator=Walt Disney World`. Submitted via map data review for magic-memory-planner.