Musk could currently buy 150 Ohio Class subs.
There are not 150 in total Ohio, Los Angeles, seawolf or Virginia class subs in existence.