The National Geospatial-Intelligence Agency’s ArcticDEM project, a public-private initiative to produce high-resolution, high-quality digital elevation models (DEMs) of the Arctic,…