Should the VA provide medical marijuana?