Did Trump tweets violate military law?