This is a replay of a speedrun of this mission i did back around 2017 for fun, i saved the replay back then and have now made a twitch highlight of it. i believe the gameplay time is around the 15s mark, whether it's actually a world record, i couldn't tell.