High jumper Patterson breaks 31-year-old national record (article)