The water pump spins any time the belt is.

And the diagnosis sounds more accurate than your assumption.

Do a leak down test and a cooling system pressure test. Don't make assumptions.