Do you know if your pool is actually 16' at the widest point? We too have the same liner.