世界上第一个无边泳池，居然是圈外人做出来的