Clearing Syrian WMDs Means 75K Troops and Massive Air Strikes