I don’t know who makes those reactors, but they should have been promoting the safe power on subs and aircraft carriers years ago. I’ve been suggesting it since 2002.
The nuclear industry has been pointing this out for decades, but nobody’s been listening because was drowned out by the hysterical screams of the irrational nuke haters.
Some of which are now coming to regret their former positions.