The encoding used by this source. Mapbox Terrain RGB is used by default.
final RasterDemEncoding encoding;