Is Saint Michael the patron of the Marine Corp?

St. Michael the Archangel is a patron saint of soldiers and marines are soldiers. Therefore, he is a patron saint of marines, also.

However, the US Marine Corp is an arm of the US Federal Government and is constitutionally prohibited from having an "official" patron saint.