Verifying Marine-Hydro-Kinetic Energy Generation Simulations Using SNL-EFDC