How many active duty colonels are presently in the US Marine Corps?

700