Did Trump Really Praise Hitler's "Economic Miracle" That Wasn't? Seems Likely.