I recall something about how they would stop using a red pen when grading papers for kids. Because it was too mean or something. So, I guess those kids grew up and are now able to join the armed forces. Wouldn't want anything scarwe.
eta: Oh, I know. The letters were too big and it was too much of a strain on their wrists to hold the paper up.