Your pond is small enough that I would just rake it out by hand. It will probably take 15-20 hours of labor but it's the most surefire way to get rid of it.

Once you rake it out this year then it should be substantially easier to get rid of it when it comes back next spring/summer because it won't be so overgrown.