Hi guys...
I know this is probably too late, but I would use the naval jelly, clean that up real good and then I would take a dremel tool (or similar) with a small conical sanding head on it and I'd rough up the entire area a bit to increase adhesion of the filler/sealer.
After that, clean everything really well and then I would recommend that you apply a PORC-A-FILLER (see image below) as that chip is pretty darn deep and after that dries sand it well, again, to increase adhesion of the porc-a fix, and then apply the porc-a-fix in thin even coats to make a seamless repair on that chip!!
The porc-a-filler is hard to find locally so when I have needed it I purchase it online @
Amazon.com: Porc-a-fix Porcelain Repair Kit VT-1 White: Home Improvement or a similar site...
Good luck!