Well Dave here in East Texas that would be just a good shower, LOL. Many times have been over 20 inches and a few times over 30.
Ponds need to be well built here with natural spillways. When they are built right, even Hurricane Harvey can't take them out.
Hope you didn't loose any fish.