Bermuda Championship: Puerto Rico's Campos wins first PGA title at Bermuda