The tradition of freedom of the high seas has its roots in