A Census of the Warm‐Core Rings of the Gulf Stream: 1980–2017