IRS agent shot and killed fellow agent at gun range