Hollands krigsmakt , som1856