It takes 8 hours for three identical water pumps to fill up a pool. How long would it take four of the same pumps to fill up the same pool?