what important event is this text about: 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.
trzęsieniu ziemi w 1755