Disneyland drowning in 1973; was there really a lawsuit?