This PrusaSlicer project cuts the original 3DBenchy.stl into parts, using 100% infill density for the aft hull and 10% lightning infill elsewhere. The resulting model floats upright when printed in PLA. This version is under 9 grams, but some of my previous test prints were over 12 grams and just barely floated, so there are many solutions to this problem. I used PrusaSlicer because its "center of gravity" visualization is somewhat useful. To make the vertical cross section, I used PrusaSlicer "Export Toolpaths as OBJ" + Blender Bisect tool + Microsoft 3D Viewer in Orthographic mode. The Public Domain license only applies to the slicer profile, as I did not create the model.