I really don’t see much of a problem with this. Why should the public sector profit from something that will make more jobs in the private sector?
What if Disney decides to use the name in a way to create negative/adverse opinions of the SEALS...i.e. depicts them as villains/criminals in a video game, or some other way that could reflect poorly on the Navy and impact their recruiting and public relations efforts.