South Korea Gets First of 40 F-35s