How the 17th Hole at TPC Sawgrass Was Made