Verification and Modeling of the Maritime Channel for Maritime Communications and Navigation Networks | Synapse