AC or DC? What options are available? What are the trade-offs? There are so many options and ideas. Used 240v AC electric motors are cheap and could be driven directly off the generators. Similarly fork-lift truck DC motors are cheap and come with controllers and chargers but of course require a large battery bank.
ELCO have DC motors up to 100HP which are far more than sufficient for this application, but to propel at this rate for long a much larger generator is needed. However a major benefit is that if propulsion is mainly needed to enter and exit port for short periods, this can be done entirely on reusable energy from solar. Further, these motors are regenerative and charge batteries up under sail using the freewheeling propeller.
DC FORKLIFT MOTORS
Electric forklifts are powered by an electric motor (12, 24, 36, 48 or 72 VDC) and typically use large lead-acid batteries (10-75KWh capacity) for traction and lifting power. Forklift motors are very popular for electric car projects and there is a lot of online knowledge, practice and research. There is good information here: https://www.youtube.com/watch?v=UnLEy8p9Xu8
There are many of these motors cheaply available online, eBay etc. Similarly, DC controllers are also readily available and cheap (Speed, Fwd, Rev).
This will require a battery bank that can drive at least 1 hour for propulsion, plus generator-driven charging at a high rate for sustained propulsion.