10 Commandments removal in OK prompts bills to bring it back