The radius of a circular garden pond is 1.75 feet. What is the diameter of the pond?