Den amerikanske marinens atomubåtanløp til Tromsø ble en svært kostbar affære – så mye kostet det