Sedimentation of a porous sphere