DRC colonels get death penalty for killing Chinese workers