DoD Costs of Licensing Space-Related Exports and Monitoring Satellite Launches