Some more of Paul's ships with -DPAUL