when did new jerseys capital become trenton?