9th Infantry Regiment of navy