Hugo de Groot, De Vrije Zee door A. Eyffinger