在动漫《红猪》中，主角波鲁克驾驶的红色水上飞机是什么型号？它有什么特殊之处？