What Is The Name Red Short For