Watch as Judd Trump lifts the World Open trophy after clinching his fifth ranking title of the season.