Category:1842 in military history