stick with `SkyCoord` here and import it from Astropy.