how did the new jersey devils get their name