Same thing with government trademarks being used in things like video games - there’s a reason why Call of Duty doesn’t use the real crests of the USMC, USN, SAS, etc. and why they went in and reskinned all of the NYPD and FDNY vehicles in the Division. Should never be a problem, and yet studios kowtow to public agencies in this regard all the time.