rio de janeiro painted by johannes vermeer