Old old camper question re electrical

I would replace the original 15 amp shore power cord with a 30 amp RV cord. It will offer more amps to be available when a 30 amp connection is available. If you don't have a 30 amp RV outlet at the house, an adaptor can be purchased, inexpensively, for that contingency. In the latter situation, the heavier RV cord will replace 25' of any lesser cord used.

Those Keurig coffee makers are a notorious power hog. I would suggest a different coffee maker for use in the RV.