I believe the best fix would be to take the controlling wire from the aux pump and kick a relay with it, then operate the pump with the relay contacts.

Have a great day,