大型纪录片《厉害了，我的国》记录了“蛟龙”下海、“墨子”升空等一个个生动的中国故事。其中“蛟龙”指的是( )。