Karl Popper's Situation Logic and the Covering Law Model of Historical Explanation