The San Agustin de Laredo Historic District is a historical district that covers what was once the original city of Laredo Texas that was established by Don Tomás Sánchez. Today the district is located in Downtown Laredo. The San Agustin District is home to San Agustin Cathedral (which the district's named after) and to the Republic of the Rio Grande Capitol. Most of the district's streets are made from bricks. Given a list of categories: company, educational institution, artist, athlete, office holder, mean of transportation, building, natural place, village, animal, plant, album, film or written work, what category does the paragraph belong to?
A:
Building