Behind the red facade is a structure of masonry hauled from the Portuguese citadel.
The masonry behind the facade was hauled from a Portuguese citadel.