Question: How many people are in the Royal Norwegian Navy?
Sentence (from "HNoMS King Haakon VII"): HNoMS "King Haakon VII" was a Royal Norwegian Navy escort ship during World War II, named after King Haakon VII of Norway.
Relevant evidence: No