F-35 Cost Per Flying Hour: A Tale of Two Numbers