>>63923172
Before Puller retired, the USMC mascots were bulldogs named Smedley, and before that there were a series of Jiggses going back to the first ever mascot Jiggs I in 1922, so yeah, the tradition very much comes from the Marines getting nicknamed devil dogs during WW1.