Texas school district considers hiring armed marshals