Japan’s Olympic pool-sized sinkhole highlights risk of old pipes