Probability density function solution to nonlinear ship roll motion excited by external Poisson white noise