Write a continuation for this paragraph - Budynek teatru został otwarty 30 czerwca 1793 roku przez księcia Jana, by zastąpić stary budynek Ópera do Tejo, który został zniszczony w trzęsieniu ziemi w 1755
roku według projektu architekta José da Costa e Silva.