I use the Wayne WaterBug pump: https://www.amazon.com/WWB-WaterBUG-Submersible-Multi-Flo-Technology/dp/B08D1NW7HZ/ref=mp_s_a_1_3?crid=3HDEN4SYVB6TF&keywords=wayne%2Bwater%2Bbug%2Bwater%2Bpump&qid=1656258832&sprefix=wayne%2Bwat%2Caps%2C142&sr=8-3&th=1&psc=1
I got the auto version because of the auto shutoff feature. I use a regular 3/4" diameter garden hose with it and it works like a charm.