The proposed flag of dolphins if they ever become people