Why is the golf hole 4.25 inches in diameter?