A giant storm sewer in Tokyo