Oklahoma judges are now barred from relying on Sharia law when deciding cases. Was this a problem in Oklahoma?