No, the Dolphin Mall and the Miami Internation Mall are two different malls, albeit close to each other. It's just a short walk between then, and if it's very crowded at the Dolphin Mall parking lot, a good idea is to park at Miami International Mall and take a short walk.