Are there any muslims in the US army?

If so, how many? Just occurred to me. Best answer with source material gets 10 pts (Though, if you have a good answer that appeals to the intellect I'll give you the points without sources)