Measuring the landscape of civil war: Evaluating geographic coding decisions with historic data from the Mau Mau rebellion. (March 2018)