What year were the films Hero of the Rails and Superman/Batman: Public Enemies released?