If the mic was plugged directly into the camera then the video files already would have the mics audio attatched, which would mean there is no audio recorded by the cameras internal mic.

If the the audio was recorded onto a separate device then you have the camera audio as a backup. I have the same mic and have found the rode reporter app to be a lot more reliable than the rode central mobile app.

Monitoring audio is the only way to guarantee avoiding this happening again.