Should the Port San Luis Harbor District pay $1 million to open the Avila Pier?