Title: Short History of the Wars of the United States . .