Hey Siri, how much do 10 torpedoes cost the US government to build and deliver?