Saudi Arabia: two soldiers executed for “high treason”