Validation of Actuator Line Modeling and Large Eddy Simulations of Kite-Borne Tidal Stream Turbines against ADCP Observations