All tagged sharks in a pool