What is the diameter of a golf hole?