No nation ought to keep a navy larger than is necessary to do police duty.