In WWI, did executions of soldiers suffering from PTSD or "shell shock" for the crime of desertion actually occur, and if so how common were they?