I believe Grey Nurse Shark is a common name used for Carcharias taurus (particularly in Australia, I understand) while this particular species is simply Nurse Shark.
Interesting - I'd swear I've always seen this species as Grey Nurse Shark in aquariums over here. Anywho, a Ginglymostoma cirrhatum by any name is still not a particularly active shark for such a large display..!