Article Photos: Oklahoma City mayor says 12,000 to 13,000 homes damaged or destroyed by May 20 tornado 200/564