If Mrs. Dennis moved to Texas in 1820, she would need to become a citizen of -