gorakhpur old name story