What is the diameter of a circle whose circumference equals 15 miles?