Hollywood has immortalized for post-Christmas release one of the deadliest incidents of the Afghan war: a Navy SEAL operation targeting a Islamist fighter that left 19 American soldiers dead.