a jumping lion in various colors .