Category:1742 in military history