Was it proper for the Sequim City Council to vote and ask City Manager Charlie Bush to resign?