Stereotypically satellite launch insurance is a comsat thing.

That doesn't mean there's no insurance involved in the whole process. Somebody will pay out third party liability claims, for example, either .gov or some insurance co or more likely a mixture of them. But specifically launch loss insurance is something "mostly" found with commercial comsats. Note its just stereotypical. Maybe this is the first navsat I've ever heard of with launch insurance.