Text this: The Sharia and Islamic public law in time of war and peace