Gravity Wave Activity in the Atmosphere of Mars During the 2018 Global Dust Storm: Simulations With a High-Resolution Model