Do any US military services still provide Provigil or amphetamines to pilots/soldiers?

See subject.

Thanks.