I know Haruo Nakamura played Godzilla in the first movie, alternating with another actor. Was that other actor Katsumi Tetsuka or Ryosaku Takasugi? Authoritative sources disagree.