a province of Portugal, lying southward of Tagus.