Wider public records request shows 40 DPS students on pat-down protocol at time of East HS shooting