will Marty Small resign as Mayor of Atlantic City?