Citerne de la basilique, Istanbul