Coke. Maximum prices of coke, with modification; corrected to July 10, 1918.