Any environmental benefits of so-called “seasteading” versus building on land