All good comments and valid points. And I forgot about head height [thanks
@sissy]. I thought about, but didn't mention "reducing" your current fish load, as it sounded like you were attached, but that is something you might have to consider at a future date. Ten koi is a lot of fish for 2500 gallons.
The solution -- build that 2nd pond and move some fish there! Yes!
Also, many koi keepers will make "floating plant rings" to put their water lettuce/hyacinth in. They keep the koi from getting at the roots. There is a thread and I think it's a "sticky" in the DIY [?] section for making these. Very easy, and lots of variations to be found.
I'm going to suggest that you start a new, separate thread addressing the submerged vs external pump question. I know we have members using each kind. If we keep talking about more specific pump issues in this thread, the only people who are going to read it are the people who are already following. A new thread might bring in the people who can answer and help you.