On May 31, 2018, Carmax Mining Corp. changed its name to District Copper Corp.