Michael Lorenzen throws no-hitter in Phillies’ win over Nationals