User:SOTO/Forum Archive/The Reference Desk/@comment-188432-20121219081535/@comment-188432-20130521074350

Yeah, I've had a look today too, and I've not seen any particular name ascribed to that war. Skirmishes, yes. Battles, okay. But not a formal name for the whole enchilada.