Effective August 27, 2021, EastCoal Inc will change its name to CoTec Holdings Corp.