Verifying marine-hydro-kinetic energy generation simulations using SNL-EFDC | IEEE Conference Publication | IEEE Xplore