Category:1720 in military history