rename to us invasion of panama as using a propaganda name invented by one side violates neutrality