As of 2020, how many times has America officially declared war?