Update navy-core repo