Rijksmuseum Courtyard, Stedelijk Museum, Tropen Museum