I understand that Marines are allowed to carry their own personal combat knife. What’s the wepon of choice?

My girlfriends son is in the Marines and I want to get him a knife as a gift to say THANK YOU. So I want to know what are some of the preferred knifes to be carried by our troops.