10 things you (probably) didn’t know about the American War of Independence