windows operating systems commonly used in the marine corps