name the tv show whose opening theme is joão gilberto and the subsequent work is porto dos milagres ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_openingTheme dbr_João_Gilberto sep_dot var_uri dbo_subsequentWork dbr_Porto_dos_Milagres sep_dot var_uri a dbo_TelevisionShow brack_close