The circumference of a circular swimming pool is 100 feet. If the radius of the pool is doubled, what will the new circumference be?