Topography of an Antarctic ice stream