Are such small scale nuclear reactors even available outside of military subs and aircraft carriers?