The Navy captain fired for sounding coronavirus alarms broke no law—just protocol