At 9:00 A.M., Bob started filling a 4,000-gallon pond. At 12:00 P.M., he had filled 2,400. At what time will the pond be full?