Antiferromagnetism in Potassium Superoxide KO2