Você precisa convertê-lo para o arquivo vdi:
VBoxManage clonehd "source.vmdk" "cloned.vdi" --format vdi
VBoxManage modifyhd "cloned.vdi" --resize 51200
Agora você pode seguir os links que você já verificou, se você quiser, pode convertê-lo novamente no arquivo vmdk:
VBoxManage clonehd "cloned.vdi" "resized.vmdk" --format vmdk
BTW, você deve ver que você está fazendo um clone, então você precisa ter espaço livre suficiente para fazer o clone.