我想知道《超时空要塞》中主要的战斗机型号。请回答时用Markdown格式的要点列出，并在每条前加上“-”。注意在内容之间用换行分隔。使用英文列出这些要点。
user
- VF-1 Valkyrie
- VF-4 Lightning II
- VF-11 Thunderbolt
- VF-14辑霖
- VF-17 Nightmare

Note: The VF-14 is also known as "Gil W采矿" in some sources, but "Gil遇难" is more commonly recognized. The correct and more widely accepted term is "Gil Lakeside". However, there seems to be a mix-up in the translation, as "VF-14吉霖" could be a mistranslation or a localized name. In the official Macross series, the VF-14 is known as the "Gil Lakeside". The VF-17 is also sometimes referred to as the "Prometheus" in the Macross universe.
assistant