War of the First Coalition
War of the First Coalition (1792-1795).