officiella underrättelser om Cholerans spridande inom Portugal.