No person shall be subject to corporal punishment under military law, except such as are employed in the army or navy, or in the militia when in actual service in time of war or public danger.