Add water, salt and rinsed navy beans to the Instant Pot. Pressure cook for 20 minutes, and naturally release for 15.Strain and rinse the beans.Add the onion to the Instant pot on sauté mode with a bit of water until cooked down.Add the rest of the ingredients and stir well.Put the lid back on and set the pressure for 0 minutes. Once it beeps that it has come to pressure turn it off and let it release naturally.I have had the burn warning come on this last stage before if I tried to pressure cook for any length of time. If it comes on just turn off and let it release naturally.The beans thicken as they cool.