US PGA Championship: Justin Thomas beats Will Zalatoris in a play-off