Kenya's annual debt service for its railway loans before and after restructuring (in present value terms)