Grotius als patriot en propagandist: Mare liberum en zijn nasleep