Senate bill funds DoD for 2019, awaiting House approval