but in this case the authors were anonymous - they are NOT going to de-cloak to enforce a trademark.
It's probably better for the security of the community at large to carry on calling it TrueCrypt (3.0, clear who the new team is, etc.). Trademarks exist to prevent confusion - in this case, using the same name is the minimally confusing option. The license is unenforceable and securing people's communications is more important to society than the wishes of the retired authors.
Imaginary property ain't real but the risks of electronic adversaries certainly are.