Text this: Analysis of the Accuracy of a Body-Force Propeller Model and a Discretized Propeller Model in RANS Simulations of the Flow Around a Maneuvering Ship