Why did they use that codename?

Is it because Trump is ginger and 'Krasnov' means 'red head' or was it because in the early 20th century Pytor Krasnov was the leader of the Tsarist 'Don Army'?