Mikhailovsky GOK was renamed to Mikhailovsky GOK named after Andrei ...