Den Konglige Norske Regjerings Marine- Departement,