OK, so in GlobalMapper, all you'd need to do is export all of the available data as a geotiff... all merging done

[attach=1]
Depending on where the pit is located, you could also load in real world data from online sources within GlobalMapper...

If your pit is really where the coordinates say it is, this is your pit on a global DEM I produced from a range of sources...
[attach=2]
It's too far north for SRTM data (90m/px) so this would be GMTED2010 data. Attached your merged file here.
Masking 2 terrains in TG in this instance is not a good idea as your nodata regions are higher than your area of interest leading to the potential for spikes around the edge of the mask.