North Korean leaders used Brazilian passports to apply for Western visas