US judge halts Oklahoma's ban of Sharia law