Workers repair and fill sinkhole in Ocean City