rio de janeiro in an anime film, directed by makoto shinkai