The place-names “Greater Antarctica” and “Lesser Antarctica” versus “East Antarctica” and “west Antarctica”