How long will it take a pump operating at a discharge rate of 140 gpm to fill a 4,200 gallon tank?